1. Fundamentals of Digital Circuits
پدیدآورنده : Ramayya Kumar
کتابخانه: Central Library of Hamedan University of Technology (Hamedan)
موضوع : Congresses ، Digital integrated circuits - Computer-aided design,Congresses ، Automatic theorem proving
رده :
TK
7874
.
65
.
F23
A54
2. Theorem provers in circuit design :
پدیدآورنده : Ramayya Kumar, Thomas Kropf, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving -- Congresses.,Automatic theorem proving.,Digital integrated circuits -- Computer-aided design -- Congresses.
رده :
TK7874
.
65
R363
1995
